Formality相关论文
以提供逻辑综合工具著名的Synopsys公司,又增加了门级验证工具Formality(形式上等效的验证工具)。使用等效验证工具,可以验证同一......
形式主义是个老大难问题,治理起来相当困难。在新冠肺炎疫情防控过程中,尤其是在初期和一些地方,形式主义问题不仅存在还比较严重......
艺术是欣赏的,因此也是抒情的、形象的、有内容的,有内容才能抒情、感人,这是美的一个特色,也是形式的魅力所在,一切脱离开内容的......
汉语是一种高度意合的语言,而作为传统文化的代表,诗歌正是这种意合性的集中体现。对于讲求逻辑结构的英语来说,诗歌外译似乎成了......
采用“省文”注释《墨经》用字现象，毕沅、孙诒让已肇其端，至谭戒甫则认为用“繁文、省文”之说，可为治墨书者导一先路，故广泛采用此法......
“今楷”创作思想，是以旭宇先生为首的中国书协楷书专业委员会于2007年石家庄全国楷书创作会议上提出的，在当代书坛影响很大，已经形成......
中华传统文化源远流长，博大精深。它在育人改造人父母，依然有着鲜活的生命力。通过两年多的探索和实践，我们找到了传统文化教育的突破......
文学审美意识形态问题已成为文艺学界近年来探讨的一个热点话题，其中关于审美与意识形态是否兼容与一体的的问题似乎成为一个争议的......
研究生学位论文匿名评审制度是提高研究生学位论文质量的重要举措,是保证研究生培养质量的重要途径之一。然而,深入调查目前实行的......
被誉为“欧洲一体化的发动机”的欧共体竞争法，是颇具特色的法规。文章结合欧共体委员会和欧洲法院的具体判例。剖析了欧共体竞争法......
语旨是语域的重要变量之一，它对不同语篇的形成具有很大的影响。文章从语旨特征的四个角度——正式程度、礼貌程度、无人称程度和可......
通过探讨学术论文的词汇特点,即专业性、学术性、原创性、真实性和科学性等文体特点,提出其用词应与普通英语不同,要有正式、准确......
It intends to explore characteristics of Chinese undergraduate students’ English abstract by analyzing the most common ......
同行评价既是判断教师教学成效好坏的重要标准和衡量学生学习效果好坏的重要参考,也是优化高校教学基本过程的重要工作和评价高校......
随着区块链技术的兴起,其在著作权登记方面具有的广阔应用前景令学界产生了一种针对现行著作权登记制度的批判。然而,目前著作权领......
刑事热点案件是一个功过并存的复合体。在其成为普法样本、唤醒民众权利意识、确立行为预期的背后隐含着尤须警惕的非程序化倾向。......
奥斯卡·王尔德在论现代性、艺术的形式批评以及艺术模仿论等诸多方面．都提出了甚至是颠覆性的创作主张。王尔德对形式的推崇达......
逻辑综合是将芯片设计的寄存器传输级(RTL)描述转化成为门级网表的过程,它是系统芯片从结构设计转向物理设计的重要步骤。在开始逻......
